#include "buffer.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>


int main(int argc, char * argv[])
{
    buffer * buf = buffer_create(16);

    buffer_printf(buf, "%d", 12345);
    buffer_printf(buf, "%s", "67890");

    buffer_read(buf, 0, 3);

    buffer_printf(buf, "%d", 123);
    buffer_printf(buf, "%d", 1234);
    buffer_printf(buf, "%s", "12345678901234567890");
}
